consequence clause

См. также в других словарях:

• Clause pénale en Belgique — La clause pénale est celle par laquelle les parties à un contrat fixent à l avance une prestation forfaitaire accessoire, le plus souvent une somme d argent, qui sera due par le débiteur pour le cas où il serait en état d inexécution ou de retard …   Wikipédia en Français

• Clause (logic) — For other uses, see Clause (disambiguation). In logic, a clause is a finite disjunction of literals.[1] Clauses are usually written as follows, where the symbols li are literals: In some cases, clauses are written (or defined) as sets of literals …   Wikipedia

• Slave Trade Compromise and Fugitive Slave Clause — The Framers debated over the extent to which slavery would be included, permitted, or prohibited in the United States Constitution. In the end, they created a document of compromise that represented the interests of the nation as they knew it and …   Wikipedia

• Horn clause — In mathematical logic, a Horn clause is a clause (a disjunction of literals) with at most one positive literal. They are named after the logician Alfred Horn, who first pointed out the significance of such clauses in 1951. Horn clauses play a… …   Wikipedia

• Contract Clause — United States of America This article is part of the series: United States Constitution Original text of the Constitution Preamble Articles of the Constitution I · …   Wikipedia

• in consequence of intoxication — A clause found in dram shop or civil damage acts, meaning that intoxication was the proximate cause, or at least a contributory cause, of the injury for which recovery may be had under such statute. 30 Am J Rev ed Intox L § 541 …   Ballentine's law dictionary

• Miskito grammar — This article provides a grammar sketch of the Miskito language, the language of the Miskito people of the Atlantic coast of Nicaragua and Honduras, a member of the Misumalpan language family. There also exists a brief typological overview of the… …   Wikipedia

• Method of analytic tableaux — A graphical representation of a partially built propositional tableau In proof theory, the semantic tableau (or truth tree) is a decision procedure for sentential and related logics, and a proof procedure for formulas of first order logic. The… …   Wikipedia

• United States — a republic in the N Western Hemisphere comprising 48 conterminous states, the District of Columbia, and Alaska in North America, and Hawaii in the N Pacific. 267,954,767; conterminous United States, 3,022,387 sq. mi. (7,827,982 sq. km); with… …   Universalium

• Constraint logic programming — Programming paradigms Agent oriented Automata based Component based Flow based Pipelined Concatenative Concurrent computing …   Wikipedia

• United Kingdom — a kingdom in NW Europe, consisting of Great Britain and Northern Ireland: formerly comprising Great Britain and Ireland 1801 1922. 58,610,182; 94,242 sq. mi. (244,100 sq. km). Cap.: London. Abbr.: U.K. Official name, United Kingdom of Great… …   Universalium